propositionally equal
propositionally equal
命題として等しい
propositional equality
確認用
Q. propositionally equal
関連
definitionally equal
judgmental equality
メモ
https://proofassistants.stackexchange.com/questions/1837/definitional-vs-propositional-equality
調査用
Google.icon
propositionally equal(日)
Google.icon
Propositionally equal(英)